# Makefile in case PNGs need to be regenerated.

all: verible-logo-headline.png

verible-logo-headline.png: verible-logo.svg
	inkscape -w 128 $^ --export-filename $@
